Interaction graphs: Additives
نویسندگان
چکیده
منابع مشابه
Interaction Graphs: Additives
Geometry of Interaction (GoI) is a research program initiated by Jean-Yves Girard which aims at defining a semantics of linear logic proofs accounting for the dynamical aspects of cut elimination. We present here a parametrised construction of a Geometry of Interaction for Multiplicative Additive Linear Logic (MALL) in which proofs are represented by families of directed weighted graphs. Contra...
متن کاملGeometry of Interaction Iii : Accommodating the Additives
The paper expounds geometry of interaction, for the first time in the full case, i.e. for all connectives of linear logic, including additives and constants. The interpretation is done within a C∗-algebra which is induced by the rule of resolution of logic programming, and therefore the execution formula can be presented as a simple logic programming loop. Part of the data is public (shared cha...
متن کاملstudy of dna interaction with ethylenediaminetetraacetic acid and sesamol food additives
برهمکنش dnaتیموس گاوی طبیعی (ct-dna) با اتیلن دی آمین تترااستات (edta)در بافرtris-hcl با 8/7 ph ( دراین ph،edta به نمک دی سدیم تبدیل می شود) وسسامول در بافر tris-hcl با4/7 ph مورد بررسی قرار گرفته است. edta و سسامول استفاده فراوانی در تکنولوژی غذایی و صنعت شیمیایی دارند. مدل اتصال dna مربوط بهedta بوسیله اسپکتروفتومتری جذب، دورنگ نمایی حلقوی(cd)، ویسکومتری وژل الکتروفورز بررسی شده است. طیفuv ...
15 صفحه اولInteraction between Lubricants Containing Phosphate Ester Additives and Stainless Steels
One way to improve fuel efficiency in today’s jet aircraft engines is to create an environment for higher operating temperatures and speeds. New and improved lubricants and bearing materials must be developed to remain stable in these elevated operating temperatures. Three lubricants, with varying amounts of tricresyl phosphate added as an anti-wear/extreme pressure additive were tested on two ...
متن کاملInteraction Graphs: Graphings
In two previous papers [Sei12b, Sei12a], we exposed a combinatorial approach to the program of Geometry of Interaction, a program initiated by Jean-Yves Girard [Gir89b]. The strength of our approach lies in the fact that we interpret proofs by simpler structures — graphs — than Girard’s constructions, while generalizing the latter since they can be recovered as special cases of our setting. Thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2016
ISSN: 0168-0072
DOI: 10.1016/j.apal.2015.10.001